Verification task 2. Verify the fairness, namely that the threads acquire the lock in order of request.
